More from this Author

Models, Algorithms, Logics and Tools

by Luca Aceto (Editor), Giorgio Bacci (Editor), Giovanni Bacci (Editor), Anna Ingólfsdóttir (Editor), Axel Legay (Editor), Radu Mardare (Editor)